In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
141	Embedding logics in Dedukti 2014 edition Ali Assaf 2nd KWARC-Deducteam workshop May 26, 2014 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-01-08 08:10:54 Type theory Lambda calculus Formal methods Logic in computer science Coq Pure type system HOL Correctness Automated proof checking Theoretical computer science Applied mathematics Programming language theory
142	Programming in Apache Qpid Cross-Platform AMQP Messaging in Java JMS, .NET, C++, and Python Programming in Apache Qpid: Cross-Platform AMQP Messaging in Java JMS, .NET, C++, and Python Add to Reading List Source URL: qpid.apache.org Language: English - Date: 2013-09-05 08:05:56 Software architecture Middleware Concurrent computing Inter-process communication Open standards Advanced Message Queuing Protocol Apache Qpid Application programming interface Enterprise messaging system Message-oriented middleware Computing Enterprise application integration
143	Bijlage 2 TEX in 2003: Part I Propositions and conjectures on the future of TEX NTG TEX future working group P.O. Box 394, 1740 AJ Schagen, Add to Reading List Source URL: www.ntg.nl Language: English - Date: 1998-09-30 20:29:38 TeX Digital typography Typesetting Donald Knuth Macro programming languages New Typesetting System Device independent file format Dvips Metafont Application software Computing Software
144	Third Workshop on Script to Program Evolution STOP 2012 This year marks the third edition of the STOP workshop series, and a colocation with ECOOP and PLDI in Beijing, China. For this year’s STOP, the goal was to take Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-06-10 11:12:02 Type theory Data types Object-oriented programming Cross-platform software Functional programming Type system JavaScript Duck typing C Software engineering Computing Computer programming
145	Q IWA Publishing 2007 Journal of Hydroinformatics \| 09.3 \| Evaluation of spatially variable control parameters in a complex catchment modelling system: a genetic Add to Reading List Source URL: www.iwaponline.com Language: English - Date: 2007-06-08 03:13:04 Storm Water Management Model United States Environmental Protection Agency Genetic algorithm Parameter AS/400 Control Language Mutation Scattering parameters Subroutine Computer programming Software engineering Computing
146	The Icon Analyst In-Depth Coverage of the Icon Programming Language October 1998 Number 50 In this issue … Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 1998-11-16 14:49:18 Computer programming Formal grammar L-system Icon LL parser Regular expression Attribute grammar Formal languages Software engineering Computing
147	In-Depth Coverage of the Icon Programming Language December 1991 Number 9 In this issue … Bogus Expressions … 1 Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 1998-11-16 14:45:20 Data types Type theory Icon Type system String C Variable Type inference Subroutine Software engineering Computing Computer programming
148	Integrated Design and Process Technology, IDPT-2002 Printed in the United States of America, June, 2002 c 2002 Society for Design and Process Science COMBINING STATIC AND DYNAMIC ANALYSES TO DETECT INTERACTION PATTERNS Add to Reading List Source URL: arisa.se Language: English - Date: 2013-01-05 08:49:43 Computer programming Object-oriented programming Type theory Data types Observer pattern Design Patterns Behavioral pattern Tuple Type system Software engineering Software design patterns Computing
149	In October 1995 Dutch Telecom introduced 10˜digit numbering system. A year before the magic 10th of October they started to inform companies of this major operation. In the process they also provided some datab Add to Reading List Source URL: context.aanhet.net Language: English - Date: 2010-05-28 09:26:21 Literate programming Color space Computer file formats Graphics file formats ISO standards WEB TeX ConTeXt Portable Document Format Software Computing Application software
150	The Ciao Approach to the Dynamic vs. Static Language Dilemma (Position/System/Demo Paper1 ) M. V. Hermenegildo1,2 F. Bueno1 M. Carro1 P. L´opez-Garc´ıa2,4 E. Mera3 J. F. Morales2 G. Puebla1 1 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-01-16 04:21:35 Programming paradigms Type theory Functional languages Logic in computer science Ciao Assertion Constraint programming Type system Programming language Software engineering Computing Computer programming

UPDATE